Patterns for Maude Metalanguage Applications
نویسندگان
چکیده
منابع مشابه
Patterns for Maude Metalanguage Applications
One of the most effective ways of improving the quality of software engineering, system design and development, and communication between the people concerned with these problems, is provided by software patterns. In this paper we present a set of basic patterns for Maude metalanguage applications. We show the viability of the defined patterns by comparing them to the developing approaches for ...
متن کاملMaude as a Metalanguage 1
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive evidence supporting the claim that rewriting logic is indeed a very exible and simple logical and semantic framework. From a language design point of view the obvious questio...
متن کاملMaude Based Patterns for Mobile Agents Itineraries
Mobile agent based systems are so complex that the usage of formal tools for simulation and prototyping to facilitate the modelling of such systems is of great interest. Improved methods are needed to insure their correctness. In particular predefined patterns seems to give suitable solution to deal with complexity of formal methods and to enable reusability and consistency. In another hand exe...
متن کاملA Linear Metalanguage for Concurrency
A metalanguage for concurrent process languages is introduced. Within it a range of process languages can be defined, including higher-order process languages where processes are passed and received as arguments. (The process language has, however, to be linear, in the sense that a process received as an argument can be run at most once, and not include name generation as in the Pi-Calculus.) T...
متن کاملCCEL: A Metalanguage for C++
c++ is an expressive language, but it does not allow software developers to say all the things about their systems that they need to be able to say. In particular, C+ + offers no way to express many important constraints on a system's design, implementation, and presentation. In this paper, we describe CCEL, a metalanguage for C+ + that allows software developers to express constraints on C+ + ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.05.016